SAFEWARE System Safety and Computers
نویسندگان
چکیده
منابع مشابه
Software Deviation Analysis: A \Safeware" Technique
Standard safety analysis techniques are often ineeective when computers and digital devices are integrated into plant control. The Safeware methodology and its set of supporting safety analysis techniques (and prototype tools) includes modeling and hazard analysis of complex systems where the components may be a mixture of humans, hardware, and software. This paper describes one of the Safeware...
متن کامل“Safeware”: Safety-Critical Computing and Health Care Information Technology
Information technology (IT) is highly promoted as a mechanism for advancing safety in health care. Ironically, little attention has been paid to the issues of safety in health care IT. Computer scientists have extensively studied the problem of assured performance in safety-critical computing systems. They have developed a conceptual approach and set of techniques for use in settings where inco...
متن کاملThe Fundamental Reasons Why Laptop Computers should not be Used on Your Lap
As a tendency to use new technologies, gadgets such as laptop computers are becoming more popular among students, teachers, businessmen and office workers. Today laptops are a great tool for education and learning, work and personal multimedia. Millions of men, especially those in the reproductive age, are frequently using their laptop computers on the lap (thigh). Over the past several years, ...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کامل